2. Dowodzenie Tautologii Przez Tabelkę, Nie Wprost Oraz Jeszcze Inaczej